dev: Add types to Contracts #368
Description
Compact 0.28.0 introduced type aliases and nominally typed aliases which allows us to improve both the readability and safety of our library.
The purpose of this issue to define how we want to name things, what types should be defined, and the high level architecture of a reusable types file that each contract module may use