Term of art, from a paper I was reading. Craziest portmanteau I've heard today.

A CHR program is a finite set of CHR. There are three kinds of CHR: simplification, propagation, and simpagation.