Working on overloading: use of the type checker info relevant to
overloading.
Added code that adds the 'testsuite' function to the muRascal code;
necessary to run tests written in the muRascal language.