VariableOrTermToken

type VariableOrTermToken = VariableToken | TermToken