The porgram is almost typed