Dmitry fixed the bugs Nico spotted (incremental reasoning on,
domain/range inferences)