Enhancements in warnings, extensions, and instances

This patch series consists of three enhancements:

1. Make instances coherent and non-overlapping.
2. Disuse some language extensions.
3. Make the code compile without warning.