indexing of higher paths and loops, with definitions, cf #238