Some minor text changes, fixed todo note on hat map, and added
todo on left/right actions generating dual pair.