Added a lexer and parser for parsing simple haskell-like type annotations.