Fixed Substitution up to type_in_type