reduce hypotheses further

for two examples they are minimal: just is_set_theory and is_in for the
type variables.