Add flags for TypeSynonymInstances and FlexibleInstances