polarity flip in type error messages