Update users.tex

Fix typo in documentation
Fixed additional arguments not being passed on recursively in
Var::accept().