Taipo now supports bare symbolic value constraints as type definitions. That means that instead of needing to write Symbol(val: :foo)|Symbol(val: :bar), you can just write :foo|:bar. Hello hacky enums!