parse command line
set set<ptr> rather than set<object>
add [X] non-term elsewhere. Get ready for syntax labels