exactly one variable. (Unfinished) Fixed minor error in error printing in Lexer. Added test in ParseMain.ml on --verbose=parser.