updated string native semantics info

after discussion with Mike Smith