Add TypeSynonymInstances