add definition of Num, Add, Multiply types