Types.containedBy should be more liberal with UndetVars Reviewed-by: jjg
Compiler should apply capture conversion when checking for bound conformance Reviewed-by: jjg