v2.0.1

Metatheory v2.0.1

Diff since v2.0.0

Closed issues:

• Make the EGraph pattern matcher instantiate to ENodes instead of actual expressions with eclasses as children. (#83)
• Register (#135)
• 2.0 Docs not deploying (#149)
• Should egraph hang on cancellation rule? (#154)

Merged pull requests:

• One-line change to fix error message (#152) (@kylebd99)