rename String constructor to StrLit

to avoid clash with the Lem module called String
compilation of string literals

tests don't work because of problems with Lem's and EmitML's support for
strings vs char lists; will require some hack. proofs not looked at yet.