implement string indexing + bug fixes
Fix export for pointer types.
STRING type is ready to use.
Get rid of JsString in favor of STRING
Get rid of ARRAY OF CHAR in favor of STRING
forbid ARRAY OF CHAR -> STRING conversion
STRING documentation.