Problem: Inductive representations are not as compact as they could be

[winston-h-zhang]

Currently, the generated code contains the inductive name as the head of each constructor, i.e. ("Bool" 0). This is really inefficient and could be removed for good speedup. However, the named version is helpful for debugging, so the best way to add this optimization is probably as a setting, where the user can choose to enable named/nameless representations.

[arthurpaulino]

Oh this issue should be moved to the yatima repository.

Be warned: making this configurable is difficult, because this influences how we commit content-addressed data. This configuration would generate incompatible typecheckers in Lurk