CES-Typing