Add implementation for binary command builtins

Targets #288
There are residuals from when you also considered boolean values. (the entire `type` stuff. It's not needed any more)