Experimental implementation of const length Vec-like datastructure CLVec with corresponding finite index type Fin