5f5788e866
I think the derivation trees could be stronger but this exposes PubGrub's proof-like error messages. Closes #102.