avoid locks
rebuild empty lists
test pair sugar without concrete syntax
update
generate sugared tree without analysis data
fix contains-all
fix unrename
use stack to prevent infinite recursion