up eim, all is done by EIMFunction to manipulate the expression (evaluation of the expression instead of its projection), still work to do
up rbspace, now we can use idv(u) where u is an element of the rbspace. Note that function id_ is not yet optimal with rb context