Enforcing Required Properties with Branded Types

Create builders that track which properties have been set using branded types to prevent incomplete objects.