import Numlift

plus m n = m + n

times m n = m*n