Make Exception.php an interface