fix the typeable issue, due to not importing data.typeable
add position informations to the syntax.
now need to handle the real errors
fixing the error messages.
finished fixing the error messages
deal with top level error
fix a parser bug
now almost all error is captured.