trivial theory change to speed up some deftypes