Use normal LET

Emacs 24 has lexical binding, and idris-mode uses it. So LEXICAL-LET is obsolete.