converted simplified_bang_graph to use the new mapping structures
added injection functors