[ Quote.hs ] Added local signatures
[ Level.hs ] Added type signature
Revert "Added support for quoting levels to the changelog"

This reverts commit 0821850a2baf2f5a314f30ffde6fc9ca48bd0bdf.

Quoting level isn't a new feature (see https://github.com/agda/agda/pull/17#issuecomment-58777304).

Conflicts:
	CHANGELOG
Merge branch 'maint-2.4.2'