Gamma lemmas and subst_type