Add Resource interface

```
Resource
  open : Name -> ResId
  close : ResId -> ()
Resource => Writable
  write : ResId -> Data -> ()
Resource => Readable
  read : ResId -> Data
Writable, Readable => RW
```