Rewire spire :)
Spire tests onboard
Two tests that weren't updated
Spire test onboard

Seems treecheckers complains when higher kinded types are around --
since this error occurs even without miniboxing/specialization, I
won't go into it now.