Printers for ltac environments.
Fixing bug #3228 (fixing precedence of ltac variables over variables in env).