`core.Atom` work in progress.

* Several new property testing methods.