fixed some bugs in TPTP parser/ast/lexer;
minor details in types
small tool, check_tptp, to demonstrate parser+type checking