ICP1: eval-let*