Not and Eq - now define as interop;
Perform arity check before invoking function call
Global entries added to the environment are evaluated against the environment at the point of insertion.
Linked list <--> array helpers
Bootstrap some globals
Tidy