Enhancements in instances and extensions

This patch series consists of two enhancements:

1. Make instances coherent and non-overlapping.
2. Disuse some language extensions.
I have discarded the commit that touches the import list.