Added String.framed, which produces a String with a frame around it.