`DerivationHeader`

[CedricMeu]

• (Partially) Add parsing for DerivationHeader that uses JustificationHeader
• 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])])