Added <String Format> and <Rot13>

very nice! str.translate is absolutely the high performance way to do this.