For now, ClassTypes are nominally typed.
For now, ClassTypes are nominally typed.