Introduces a new library, Types.sol, meant to hold various different structs that get used all over the place.
