add [X] non-term elsewhere. Get ready for syntax labels
syntax
syntax
syntax
syntax
remove debugging message
little bugs