pub fn format_source( source: &str, source_type: SourceType, ) -> Result<String, Error>
Parse a source string and format it to canonical Lemma source.
Returns an error if the source does not parse.