pub fn subst_type_type(a: Type, x: &String, b: Type) -> Type
Substitute a type for a type variable in another type