Added function compileLets