Implement `FileIO` interface.

We are quite close to being ready for reading/writing table. As we have discussed in #34 , `FileIO` is fundemental to almost all io operations, so we need to define it first.