refactored "callable", "comparable", and "iterable" modules that still need to be reviewed and tested.
refactored "LocallyStorable" module that still need to be tested.
refactored type detection modules for "emptiness", "sameness", and "equality" that still wait for 100% test coverage.