major simplification of the simplifier, using zipper concept
use sequence to hold block ops