Free Indexation: Combinatorial Analysis and A Compositional Algorithm