HoleEdit: If there's an Arg (and no record shape), don't generate empty record, but a 1-field record
Inferred values accept on space, and enter hole on return