a 'purely nominal', i.e. no predc and disequality constraints, env-based quine generator