Opening Strict Types as Contracts

Loading the local course workspace…