Added examples for solving linear equations.

This reintroduces StarRig[A], as well as some other machinery.
At this point I think the example is pretty much complete. It could
probably still use more documentation, which I'll try to add after
stepping away from this for a bit.