hasType, -errors and +neutral terms in values