Implementing `let'