subtypes is one of baseless heresies
identify types correctly and think about different _other_ traits which influence on behavior and relations