Fix incorrect specifications.

Fix a bunch of incorrect specifications from the refactor of the fold
operation.
Add update.

Add update function, which given an operation, performs an update, so
the client no longer needs to read-before-write.
Remove useless test.

Remove useless lattice test, whose functionality is now covered by the
bind test.