Fixed typechecking recursion.
Java interop test still broken.