Remove last cheat from replCorrect

Also try to make the types to string functions total so that the
translator won't make side conditions.