Add `let` binder

Add let notation to the syntax. Since the system uses memoization extensively, the kernel wouldn't get any improvements from adding them to the core syntax, but we also want to allow let binders in our API. As such, the binder should be added both to the parser and the builders.