Added new deftypes