first cut at a MkStringExpr copy that doesn't treat singleton strings specially.
Commented out special treatment of empty and singleton strings.
Using new simplified mkStringExpr