Function obj_for_bound_param_in_scope 

pub fn obj_for_bound_param_in_scope(name: String, scope: ParamObjType) -> Obj

Bound-parameter Obj for runtime-synthesized facts (by stmts, coverage, etc.), matching parse-time ~kind tagging and Runtime::inst_obj substitution rules.