Remove unused fn.
Rename polynomial structures for brevity and clarity.
Add new fully borrowed (coefs as well as mons) poly type, add linear combination function, remove add trait.