More cases for hygiene, more :deftype* cases