DynamicJava: Cleaned up type inference implementation; added inference support for union types and disjunctive constraints.
Authored by: dlsmith 2009-04-02
Parent: [r4867]
Child: [r4869]