Better names for PHP error-exceptions