new class and feature annotations for EBON

[atiti]

I suggest we add the following class annotations to EBON: immutable, unique, shared.

Should we also add ownership annotations like those in universes?