Added names for some type parameters in workflows.
Uncommented and implemented some methods in the ChoiceBuilder and MaybeBuilder types.