Reorganization

  Split Base in more modules
  (Buggy open/import breaks example)
Reorganized examples in smaller specfic modules

  CHECK: Some bug in agda's import feature for Example.agda
Added new module Result