Use unique names for open-scrutinees.
mkField implemented (non-functional yet).