DynamicJava: Raw types are subtypes of their wildcard-parameterized equivalents. Bug fixes for RecursionStack uses (should be defined using equals() rather than ==) and userRepresentation (now correctly handles varargs and parameterized inner class names).