Disctinction of LetFun and LetVar