makeDocumentTag -- convert a documentation key to a documentation tag

i1 : makeDocumentTag (res,Module)

o1 = User :: resolution(Module)

o1 : DocumentTag

i2 : peek oo

o2 = DocumentTag{(resolution, Module), resolution(Module), User, User}

i3 : makeDocumentTag (koszul,ZZ,Matrix)

o3 = User :: koszul(ZZ,Matrix)

o3 : DocumentTag

i4 : peek oo

o4 = DocumentTag{(koszul, ZZ, Matrix), koszul(ZZ,Matrix), User, User}

i5 : makeDocumentTag [res,PairLimit]

o5 = User :: resolution(..., PairLimit => ...)

o5 : DocumentTag

i6 : peek oo

o6 = DocumentTag{[resolution, PairLimit], resolution(..., PairLimit => ...),
     ------------------------------------------------------------------------
     User, User}