Display injectivity info with --show-iface
Represent injectivity info in SynTyCon as a Maybe

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