Eclipse-based code clean-up.

* Three (trivial) accessors added to `core.Atom`.
* Re-formatted several `//`-style comments for maintainability.