Fix universe checking error

Fixes #286. Constraints generated by the final convertibility check
between lhs and rhs were not being added to the overall set!
Check for duplicate names in Can't Convert

Fixes #1804