indexed M, uncommon words

added a definition of $k$-morphism in an infinity-groupoid

( #94 )