I���d like to discuss also the possibility to add those low level operations on mirrors objects, that could be packaged separately from the kernel of the language.

Adding them on a first step is easy, then making all tools use them is the hard/timeconsuming part, yes.