on develop-nats help sign in
1 folder
../ TypeRep/Change TypeRepMap to TypeRepMap f (k -> *)