pub fn canonicalize_lacegram_text( text: &str, limits: DatalogLimits, ) -> Result<String, String>
Canonicalize ordinary Datalog source to 030 lacegram text.