sketch a format for more compact translation storage; more const-ipation in generated code