metaprl

Redo the axiomatic development of geometric algebra. The question of

Initial WF for vector spaces.

Update supinf to use Refiner.Refiner.TermMan

Refine the Refiner.Refiner include. It caused RefineError to get a NULL

Fix some syntax errors :P