Improve performance of our algebraic backend.

[martun]

This will probably require changes in multiprecision, but still keeping the issue here, since performance of fields and curves is what we're interested in.