added new BadTypeException