[timdeve]

`let` is for declaring variables while `the` is a noop at runtime and only give type information to the compiler.