don't print and true's
add required stays on any inlined expression that is dereferenced, and
honour these stays when assigning and in the twophaseupdate
order examples as in paper
merge first example into one
add next example
add identity examples for objects
remove BUG marker we fixed
run objects tests on travis
add a task to review the citests