Enhance bootstrap of generated test modules

Things that should be imported automatically:

• The toString instance of {#Char} (for name)
• The tested module itself
• derive of test generation, JSON encoding etc. for tested types