Changed to monadic parser.
Replaced the simple parser with a monadic parser.
Added check in parser to detect mismatch in signature and definition names.
Generalized lexer state to accommodate a simplified solution for line counting.
Added line counting and error reporting to parser and lexer.
Updated TODO list.
Fixed typecheking 'WhereStx' and moved as much 'eq' operator stuff as possible to the prelude.
Updated TODO list.
Added comments.
Fixed error messages in parser.
Updated TODO list.
Updated TODO list.
Moved 'Seq' to 'Constant' to simplify code.
Updated TODO list.