This standardizes the solidity pragma to be `^0.8.0` for
`Types`. All of the other libraries are set to this version,
and it makes the code more portable for projects that want
to import it. It will have no impact on the deployed bytecode.