corrected lack of AgdaArgument NameKind in agda.sty
Almost there in sequential simulation. Need to create patches to
simplify some Agda-Latex excerpts