camp/machine: Add support for pushing new bindings and reducing them.
unittest: Remove failure clause.

It's not working and the error clause works well enough for signifying that
things are not working right.
camp: Return reduced value.

Also update tests.