A module terms to factorize between user and (to come) internal language