Add a 'not' checker inverter that actually works.
Fix the contains checker to deal with types better
Implement traverse, and tests for it