support more command positions, analogous to Command.core_range in Isabelle/Scala;