Adding function for comparing the type of two arithmetic expression. Adding This function prototype to the .mli interface