v1.3.3

Metatheory v1.3.3

Diff since v1.3.2

• Store references to egraph in every eclass
• Fixed @capture macro not working
• Various bug fixes and test fixes

Closed issues:

• The capture macro does not escape the left hand side pattern before splatting (#86)
• Simple rules do not work (#88)

Merged pull requests:

• avoid conversion from ENodeTerm to ENodeLiteral (#85) (@emaibb)