Veritran Docs

We fixed the errors parser to differentiate errors by module, thus avoiding problems such as recognizing an error set in a module as global.