when making a default parameterized type for a recursive type be sure to substitute type vars with bounding types, fixes tests dealing with functoin-to-interface proxies