VM: Check type argument length when getting a monomorphic function instance.
VM: Check type argument length when getting a monomorphic function instance.

- If the instantiation function receives type arguments, we cannot just return the monomorphic function instance if the function is monomorphic. Trying to instantiate a monomorphic function with one or more type arguments is an error.

marcopennekamp/lore,marcopennekamp/lore