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