Limitations of Class Expressions