Extending info about existential types in CLS a bit