v0.0.6

Deductive v0.0.6

Diff since v0.0.5

Closed issues:

• Latexify expressions for pretty displaying in non-terminal settings (#14)
• Recursive subset matching algorithm (#20)
• Higher-order set constraint elimination algorithm (#21)

Merged pull requests:

• Definitional set theory (#4) (@ctrekker)