sealed class Loc
data class Line : Loc
data class Range : Loc
object Unavailable : Loc
abstract fun section(source: Source): SourceSection