Produce a sentence which has a cefr level of "b2" and keywords: restriction, undecidable, types, forces, individual.
This restriction on undecidable types forces us to write out individual declarations.