v0.5.0

What's Changed

• RFC 0001: Typesafe Axiom (stack 1/4) by @robertvansteen in #58
• The type algebra: shapes, relations, honest admission (stack 2/4) by @robertvansteen in #59
• Separate value equality support from type overlap by @robertvansteen in #62
• Typesafe Axiom: the compilation pivot — Expression describes, Program runs by @robertvansteen in #61
• Restore dependency injection for persisted host sources by @robertvansteen in #63
• Expose dialect operations to source compilers by @robertvansteen in #64
• Clarify the operator rule builder API by @robertvansteen in #65
• Add invocation-scoped execution observation by @robertvansteen in #66

Full Changelog: v0.4.2...v0.5.0