completed test coverage for newly introduced "emptiness", "sameness", and "equality" type detection modules.