Add constraints for `exception`'s ctor.
Add a variadic template version of `error_engine::push()`.