Added special supercombinator nodes, plus:

- avoiding \ for lambda due to limitations of read_graphviz,
- changed vertex_data.name to vertex_data.id which is more explicit.