New type for terms