Dominic: list keys, record keys, valid record keys