Add the `let` assertion handler

Thoughts?

Similar to `define` but `define` sounds like for constants, where `let` is about variables.