Check inputs to the interpreter

[samestep]

As of #44, the interpreter doesn't do dynamic checking; it should be guaranteed not to panic as long as the function is well-typed (see #28) and its arguments (for generics and values) are valid. We still need to check the latter, though.