Custom linter #61
Description
Some operations may generate invalid code or incompatible results.
For example:
- lt=0 for the uint8 type
- len=5 for an array with 10 elements
- using len with max or min
- and so on
The idea is to have a custom linter that warns about these invalid operations.