Minor fixes after noticing atrocious docs

This does a few things:

1) fixes a package declaration that was putting syntax related classes into spire.algebra,
2) adds benchmark to the spire aggregate, and
3) makes some traits private that don't need to be public.