Update relation complete

Finished writing the update relation (which replaces the update
function from the paper) - now on to Restrict and Remove.