Starting to work on the parser
Switched TypeChecker.unify to MonadPlus
Changed the custom monads to GADTs
Parser handles indentation properly
Parser properly handles alignment
EOF carries file position information