Support class literals with complex constraints and custom evaluators

The following is supported, when A is a class name:

 Pattern( this op A ) 

But the following fails with a CCE

 Pattern( this op A || this op B ) 

when it tries to resolve A as a field of the class Pattern