s_expressions-templates-generic_discrete_render: new generic procedure for rendering values of discrete types