Use `ε` for CMRA unit

Merged Robbert Krebbers requested to merge unit into master

For obsolete reasons, that no longer seem to apply, we used the Empty type class for the unit of a CMRA, which resulted in using the notation . Using ε is more consistent with what we do on paper.

Edited by Robbert Krebbers

Merge request reports