type_substitution