Merge "Tighten art::HNeg type constraints on its input."