Signal<T> tests

But it turns out that types prevent a lot of errors that tests would normally catch! Who knew?
We should totally write DbC decorators for Swi… oh wait almost certain we can’t.