Revert "Add injectivity information to FamInst and interface files"

This reverts commit ad41f71d82c2e3e02674663fb07f66572cdf064e.
Supply injectivity info when looking for open type family conflicts