argType verifications