deftypes* are not IObjs