Added few string functions

Added few string functions
Why do all these methods take non-lifted types? You are generating LiteralNodes and regular function symbols anyway, so there should be no reason for not exposing the lifted types.