Enhanced the rule application module.

- Wrote non-Maybe lookups and newNodeList/newEdgeList functions.
- The code now updates the host graph with new node/edge labels.
- Made everything typecheck!