completed AST datatypes, added colon lexeme, and some parsers (parser is not complete, whoops)
refactorings: style, generalization and using applicative where it can help readability