KJ-26 Replace the auxiliary type rtString with proper java.lang.String. Eliminated the auxiliary type rtString. Created the class java.lang.String. Old rules that elaborate String methods are not eliminated yet. Tests seem to pass.