missing 'only' record elaboration
stub for Record elaboration