fix cabal file name
more bindings, some simplifications in high level module
minor changes in example program