Added an equals method to MethodTable
Removed unnecessary equals method (method overloading should appearantly not be supported)
Trying to define two methods with the same name now gives RedefinitionException
Added negative TypeChecker tests
Updated JVMMain so tigris can compile