Add an interface file for the Type_printing module.