Propose algorithm implemented

{Closed*,Valuation} now case classes (they're immutable and it shortens the code: e.g. equality). Small refactoring in OpenReactant.
Next: Execute and Delete messages.