Optionality, Scope, and Licensing: An Application of Partially Ordered Categories