Reduce visibility of World internals where possible. This also makes the
external API of World cleaner.