Function fungi_lang::bitype::check_val

pub fn check_val(
    last_label: Option<&str>, 
    ctx: &Ctx, 
    val: &Val, 
    typ: &Type
) -> ValDer

check sort against value term