Subtyping Deliverables