Changed the visitor pattern example. Added Object.getClass() and Class.getName() to the basic library for this example to be typechecked. Changed chooseMostSpecificMtype to return a method type if all the candidate method types are the same, for example, when a class inherit a single method in Object from the parent class or from one of the the implemented interfaces.