[POPL Seg 4] Copy LET language into PROC