sml: ensure we run injector on library models too

In order to make sure all types are rooted on the global namespace, we
must run the injector on the library models.
sml: re-enable formatters enrichment

Un-comment enrichment in root enricher and fix bug in applying
enrichment.
cpp formatters: remove unused local variable