All but deftype and proxy