If SubstitutionMap is asked to form a substitution for a generic parameter that has been made concrete by the generic signature, substitute into the concrete type. This allows us to better deal with non-canonical types.