Optional record fields in Dhall

Use the // operator trick to support truly optional record fields in Dhall.

TODO: explain with code example.