now type checking correctly.

added additional meta information to diagnostics to inform caller what
type of error it is. "syntax" or "typecheck".

Removed the Diagnostic Reporter, as it was possible to get the
diagnostics directory from the compilers getSyntacticDiagnostics(...)
method.