Added equality primitives
Updated...need more work