Check bounds declarations in where clauses

[dtarditi]

Programmers can declare new bounds for local variables and parameters in a where clause. These bounds declarations are flow-sensitive. We should check that the new declared bounds are valid after the where clause where they are defined.