v0.5.0

What's Changed

• Fix #13 by @andrew000 in #14
• Add visit to MessageReference and Term to resolve VariableReference by @andrew000 in #12
• Fix #15 by @andrew000 in #16
• Enhancement #10 by @andrew000 in #17

Full Changelog: v0.4.6...v0.5.0