Simplify notation for mapenv and add notation for arithmetic + and - to cNRAEnv
Simplify notation for mapenv and add notation for arithmetic + and - to cNRAEnv

querycert/qcert,querycert/qcert,querycert/qcert,querycert/qcert,querycert/qcert