Rename traits: Pushable -> Push, *Readable -> *Read
Closes #6