let expressions in checks

[florianschanda]

We could support something like this:

checks T {
   let { fraction = a / b }
   1 <= fraction and fraction <= 10, warning "potato"
}