Tentatively rewriting lang/String from scratch...