changed types, added dummy patternGenerator
dummy implementation. Extensive use of monads.
cleaning up