More hygiene cases. Change :deftype*