conLang build, with cheats

conLang builds up through prompt_to_i2_correct with a plausible
invariant, but there are some significant cheats, so who knows if it is
actually right yet.