better type check for type-def's