Fix a missing substitution in the merge of new constraint into the hashtable. The algorithm provided absurd results on some particular recursive types.