Added deftype, defn, type