Implement Equals, Functions, relexivity rule and =Sub rule