pub fn canonicalize_lacegram_rules( rules: Vec<Rule>, limits: DatalogLimits, ) -> Result<CanonicalLacegram, String>