The typechecking gods are satsified, starting testing on main