Moved the definition of String from SDF to K. Had to fix various things in K to remove hard coded references.