finish a case of replCorrect

modulo cheats about free variables that I think should follow from type
inference