pl-semiotics

Prior to #42, the Canonical ABI syntax used `core-prefix(core:idx)` for several `core:sort`s as part of the canon option syntax. This was slightly strange, since the `core-prefix` meta-rule is only defined...

This fixes a small typo in one of the examples in the explainer.

Currently, component definitions include both core-prefixed core aliases and component-level aliases. However, since the component-level sorts include core sorts (`sort ::= ... | core `), this leads to significant overlap....

This changes the syntax of component and instance types so that it is possible to name a type with a typebound when it is declared, rather than when it is...

Add draft of the specification of validation

4

This PR adds a spec/document folder with a draft of the beginnings of a spec document, currently providing a formalisation of validation rules for the component model.

Initial implementation of resource type validation

2

This adds a relatively direct OCaml implementation of the current formalisation (essentially that given in #101), focusing on the rules around how resource types are treated as creating quantified component...