Fixes #463. Partly addresses issue #460 by making FunctionInstance and
OverloadedFunctionInstance an ICallableValue.
Added tests related to issues #460 and #463.