refactors equality and comparable into comparison; adds addition for int types
Introduce IRef and implement IRef and IMeta for Atom