Represent injectivity info in SynTyCon as a Maybe

This is important for type synonyms because we don't track injectivity information for them