FreeIndex is a datatype which is recognized by Contract.
FreeIndex
Contract
Possible use: DataType[mu, FreeIndex] = True.
DataType[mu, FreeIndex] = True
Overview, Contract, DataType.