JCAS model for built-in CAS types