Implement BINARY_ADD, CALL_FUNC and MAKE_FUNC

There is still some stuff to be done for default arguments and
keyword args, but trivial signatures should work fine.