Added documentation
Changed doxygen config
Type visitor docs
removed program.bail