Added an AbstractionError type.