Pythagorean *-fields

We generalize the usual notion of the pythagorean field (every sum of squares is a square) to the setting of division rings D with involution. We choose a definition that works particularly well with Baer orderings and Witt groups of hermitian forms.