Update submodule.
Implement compareason on primitives.
Add an assert primitive for use in test suites.
Implement physical compareason (equal).
Implement map. Add it to the primitives environment as well as equal.