WIP: State vs. operations in the Data Types doc

In a Twitter conversation, it became clear that we don't make it clear enough that DTs are operations based *only from the standpoint of clients*. Behind the scenes, they are state based, as they should be. I'll make this more clear and do some other clean up as well.