[ Cosmetic changes ] Identation of language extensions
FlexibleInstances implies TypeSynonymInstances