import the stub deftype