Lem generator only produces valid Lem now (that is, no hyphens in variable names).