typep/subtype don't verify correct number of arguments for deftype defined types

Example:

CL-USER> (deftype test () 'integer)
TEST
CL-USER> (typep 23 'test) ; correct
T
CL-USER> (typep 23 '(test 10)) ; should signal error
T