DynamicJava: Bug fix for subtyping cases involving unions; updated "more specific" method relation to support varargs; added an option to "pack" capture variables that are the result of inference (javac does this, JLS doesn't specify it); fixed TypePrinter bug.