Combine TypeVar & TypeExpr; combine *Name's; add Param & TypeParam