Morph keys

[ssalbdivad]

Given a definition like:

const $ = scope({
  a: ["'a'", "=>", () => "b"],
  o: {
    "[a]": "string",
  },
});

We could parse o as an object of with morph type (In: {a: string}) => Out<{b: string}>.

Currently, this fails semantic validation as the morph types are not extracted.