renamed visitor parameters
improved and corrected visitor and traversal implementation
"externalized" error messages
documentation update
using problem reporter in native operators