Implement physical compareason (equal).
Implement map. Add it to the primitives environment as well as equal.