Continue extending IStructures, add new BFS version (doesn't work yet).  Add missing modules to .cabal.