Made relation type checking automatic
Rest of basic arithmetic operators