WAISと整合性が得られないようではタイプ論自体とっくに否定されとりますなあ