fix two more bugs in enter and TwoPhaseUpdate
add two methods
first working example -- double multi-way method
methods for both account examples
add separate stay judgments that keep reference stays required for
solving value constraints
make printout of constraints more readable
allow readonly annotation, eval irecords from solver (for nested record
eval), add methods
do all printing in an `alert' rule, so we can disable it