Syntax manipulation functions in SpecLang