Construction and field access from records