Partly implement MAKE_FUNCTION, BINARY_MULTIPLY and CALL_FUNCTION