Lint the simple language and fix lambda-lifting bug