[UncleEntity]

I kind of thought Coco/R was a dead project but it seems dafny is using it as the parser generator library.

…have to poke around a bit methinks.