Type-checker: Added check_call_svalue(). This function is analogous to lower_new_check_call(), but with an actual argument value instead of an argument type. It is intended to be used for run-time type checking.