Type simplification, before type/val refactoring
var/val declaration improvment, dissociation compilation / exec