worklog
type inference for record value expressions