pub fn build(termenv: &TermEnv) -> (Vec<(TermId, RuleSet)>, Vec<Error>)
Construct a RuleSet for each term in termenv that has rules.
termenv