push/pop variable names. pop subtypes.