some more sanity checks on expression types