Updating CLS about type projection