Implemented deftype-checking -- no recursive holding, valid names and params.