Updating pdf of CLS
Revert "Let’s make annotated expression be any expression in CLS"

This reverts commit e646a540d17e5dde3f2608be3f121aec2c00d78c.

Conflicts:
	CLS/CoralSpecification.pdf