- Remove double warning for arithmetic over pointers
 - Not yet: size of memory area in GMP
 - Typing of Trange
 - Squashing pattern matchings
 - Use of has_set_as_index
 - No is_offset_of_array
 - Using exception in is_range_free
 - Using `call f`
 - Logic.is_set_type instead of catching Failure
 - Logic.const.taddrof
 - &t, instead of &t[0], is sufficient for arrays
 - No useless rec
 - Typos, useless parentheses, no camel case, comments, indentation