Add functions to compare Nat and Symbol types for equality.