Added BNF for inodes and renamed documentation for skiplist