first draft of lexer/parser for Coq types, switching computer