apart from this IMHO very useful change (mapping  to \int), maybe we should
create a unicode-math module which replaces some commands with symbols. i
find myself always using this for chemical and mathematical documents:

\catcode`→=\active
\def→{\xrightarrow}
\catcode`↔=\active
\def↔{\xleftrightarrow}
\catcode`√=\active
\def√{\sqrt}

PS: i recently posted two questions to this list which i got no
replies to:“simplefonts: math in headers” and“headers:
numberconversion=something or \definestructureconversionset”

do you see them or did they get lost in transmission?