Initial support for linear algebra types.
This time, we're mostly interested in the integer specializations.