Add call{1,2} for calling unary and binary functions
Make (Exp a) a Num instance, so we can use +/* directly