We now do role inference on stupid datatype contexts, allowing a lightweight role annotation syntax.
Attach a file by drag & drop or click to upload
