Support overapplied lambdas in lamToLet in Erasure.hs.
Support overapplied lambdas in lamToLet in Erasure.hs.

kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev