compiler.tree.propagation.recursive: Generalizing intervals in the propagation pass ignored types. Fixes #770.