changed representation of variables : now designed with a (i:(Fin n)) plus a Boolean