Function load_refs 

pub fn load_refs(
    k: &mut Kernel,
    input: impl BufRead,
) -> KResult<FxHashMap<String, ExprId>>

Loads a file of named reference terms into k’s store.