Fri Apr 19 09:21:53 EDT 2019

Better signal type

This can probably be done gradually.
But really, this seems to be the whole idea:

A "language" should not just be a bottom-up stack.  It should have its
primitives defined as well.

The point is to increase the granularity of the type classes, such
that algorithms can be very generic, and instantation can be very
specific.  I.e. if there is a multiply, it could be expanded to a
multiplier expressed in seq.

Seq needs to be recursive.