Export String from CorePrelude (fixes #33)