Great graphs

This release simplifies the structure of graphs in by using extensible records to model graphs instead of a custom type. This has the following benefits:

• Function signatures are significantly shorter.
• The code base's size was cut down by 33%.
• Error messages are easier to read.
• Records can be reified to the type-level and reflected to the term-level without using proxies.