Add type-checking/lookup routines for method references Reviewed-by: jjg, dlsmith
Type-variable substutution takes upper bound of replaced captured type-variable Reviewed-by: dlsmith