Add support for more aggressive type-inference scheme Reviewed-by: jjg
Remove bound checking rules from recursive subtype visitors in Types.java and replace with centralized bound-checking logic Reviewed-by: jjg, dlsmith