manually re-done c2hs code to add a phantom type to Dataset to carry Read/Write status
enabled dataset phantom type
added read mode phantom type to Band. Can now safely (as long as no other process is modifying a file) implement lazy IO