To lower compile times, we could provide the types separately instead of re-exporting them from `Contract.*` modules