Translation: fix for invented proof term variables

- They should not have tag Nominal
- They should not all be "x"
- They should be suitably freshened

This version uses variables named "lfx1", "lfx2", ...