Protocol for algorithms on both real and complex numbers

[apple]

Protocol for algorithms on both real and complex numbers

[stephentyrone]

Note that a Field protocol necessarily falls out naturally when we add a linear algebra module, so this is something that will have to happen in the short-medium future. I'm just kicking the can down the road until Real and Complex stabilize a little bit.

[NevinBR]

Will we want the Real protocol to refine Field?

[stephentyrone]

Most likely.

[stephentyrone]

#91

[stephentyrone]

Merged to master (with the imperfect name "AlgebraicField").