Add Iter & Rules
Changes module names, updates .cabal