Function check

pub fn check(
    tyenv: &TypeEnv,
    termenv: &TermEnv,
) -> Result<Vec<(TermId, RuleSet)>, Errors>

Check for overlap.