Make compare ns an equality ns
Rename ns
Fix some issues in the reduce test