use Make new type rule