enhance Agda setup
remove unused haskell helper functions