typify more things that appear to be types