Drop propagations when a new constraint/type generates too many of them

Crude guard against infinite expansion.

Closes #16