Adding infix types to CLS
Updating type inference in CLS