Add implementation for binary command builtins

Targets #288
Why are the checks unneccessary? If that's really the case, I am willing to do this, of course.