Suggestion: Accept '0 <= int < $square_size' and 'tuple(A, B), 0 <= A < $nr_rows, 0 <= B < $nr_cols' kind of conditions in contracts

[jcrmatos]

Hello,

Please consider accepting as contract conditions these syntax example:

@contract(square_nr='0 <= int < $square_size',
          returns='tuple(A, B), 0 <= A < $nr_rows, 0 <= B < $nr_cols')

Thanks,

JM