This module is used in all of things which can error out (parser, type checker, scope builder, etc...)