- [x] (Partially) Add parsing for `DerivationHeader` that uses `JustificationHeader` - [x] Show available derivation bindings (or more broadly the context) - [ ] Format goal to be more readable `s z + n = s n` instead of `(sum [(C_s [C_z]), n, (C_s [n])])`
DerivationHeaderthat usesJustificationHeaders z + n = s ninstead of(sum [(C_s [C_z]), n, (C_s [n])])