Should ideal.map take a plain function

Stream: maths

[Eric Wieser]

Right now docs#ideal.map takes a ring hom, but doesn't use this structure in its span (f '' I) implementation. Should we just relax this to allow any function?