More convenience property tests in `core.Atom`.