clarify meaning of APlus' and AOr' type classes