basic deftype eval