subst types