Cache only if it is worth it and if no evar
Comments into safe typing (emerged discussing with Bruno)