Makes variable declarations, contants and type conversions explicit. Converts whole range of logical errors into compile time errors.
Bugs discovered by this work: 72428b3f 02c90848
#15173