Fix Trac #4841: behave right with TypeSynonymInstances and NoFlexibleInstances