The algorithm to create a host function uses the function's type: * in step 1.1 implicitly as "the signature", * in step 1.6 as |functype|. However, that type is not actually provided. The algorithm needs to take |functype| as a parameter.