Fix typo + reverse direction of ConstraintSimplifier.contains to be consistent with how ExternalizeTypes uses it.