fixing bad type in exp10 test
bad type in cover system test
bad type for incrementation in cif/rif
try to fix typing problems in colon and relative_index