Function fungi_lang::bitype::check_nmtm

pub fn check_nmtm(
    last_label: Option<&str>, 
    ctx: &Ctx, 
    nmtm: &NameTm, 
    sort: &Sort
) -> NmTmDer

check sort against name term