We now do role inference on stupid datatype contexts, allowing a
lightweight role annotation syntax.