[ latex-backend ] Adding AgdaFixityOp

The identifiers whose fixity is being declared are now encapsulated by \AgdaFixityOp{}s.
Corresponding test cases.