Added Exception::getType, and additional specs