change complete type : var -> type