[POPL Seg 3] Implemented the semantics of the let expression