premiere moitie de check_type + type typ + type typ_env