removed duplicate representation between non-terminals and normal adt's
for the uninstantiated type parameters. This was necessary to make
textual
(de)serialization of the Rascal grammar possible because that does not
support overloading.
added a getter to StaticChecker to provide access to the hidden
evaluator in it in order to be able to reuse code that configures class
paths in the Eclipse context.