Follow up to #421.
Optional and Bool are special constructs in dhall, but they essentially behave like the sum types < Some : T | None > and < False | True >. This issue proposes to support using the merge operator on those types as if they were the corresponding sum types.