Update prelude with a bunch of standard logic functions
Implement `eq` and `error` builtins