some renaming and refactoring, the semantics of monadic actions in setters and updaters