Cleaning up, and introduced avoidance of HsWithBndrs in SYB traversals
Cleaning up. Snapshot before refactor.
Removing partially implemented functions that block the commit
Minor cleanups. Preparing v0.7.0.3