A simple typed linear algebra implementation.