Closes #120

Ping @pstutz: you should be able to compile signal-collect, save for
a warning, that I will diagnose as #121. Automatically marking all
type parameters as `@miniboxed` revealed some more errors, which I
marked in #122 and #123.