The String library for grace-lang