First attempt at names fix, tests commented out
With pattern matching on the list. Failing tests
Existing tests fixed. New tests needed
Incorporating Set.forall improvement
Updated pattern match for readability
With new tests
Merge pull request #520 from 3tilley/ModuleNameFix

First attempt at names fix #509, tests commented out