Add injectivity information to SynTyCon constructor