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

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.

Start by locating the generated code that represents inductive constructors and identify where the inductive name is added as the head. Trace how representation settings are defined and consumed, then determine how named and nameless modes should be selected while preserving the debugging form. Done means the setting works consistently and the compact representation is covered by relevant tests.

Written by the indexing model from the issue text.