A future unified definition for Let, LetFun and Value