Merge branch 'hardening_types'

diff --cc src/global_compiler.nit
Simple merge

diff --cc src/metrics/rta_metrics.nit
Simple merge

diff --cc src/separate_compiler.nit
Simple merge