created a whole new branch with two controlling monads, but based on the experiences from one-monad based design
Merge branch 'operator-controlled' of https://github.com/lazac/references into operator-controlled

Conflicts:
	Control/Reference/Operators.hs
	Control/Reference/Predefined.hs
	Control/Reference/Representation.hs