SourcesExporter: log more info on exports
Proper Definition of CleanString

Implicit String -> CleanString is the only one allowed
FIXME: Avoid conversions from narrow type (eg, boolean) to wider type (eg, Int)