Work on types -- deftype