CompilerTc now handles LetExpr and FnExpr including destructuring binding forms