src/error-handling.php: Fix bug in error-handler with regard to defaulting to ErrorException if no other class is defined for use for the given 'errno'; add explicit type for parameter to 'constructErrorReport'; plus some other tidying up.