* h_program-lang/errors_code.ml: annotation support
* main_codemap.ml: comment
* h_program-lang/database_code.ml: misc