Updating CLS up to existential types

The specification is not really talkative right now, but it will be reviewed a couple of times and extended/corrected as necessary until 1.0 release.