Module unify
Functions
CollectAll
Count
CountAll
Crush
Foldr