Progress on nested forall stmts.
Merge branch 'overhaul' of darwin:scout into overhaul