Curry Package addtypes

This package contains a tool which adds missing type signatures to top-level operations in a Curry module. Moreover, it contains a library to process strings containing Curry source code and classifies it into a few standard categories

Detailed package documentation (available shortly after this version has been published)

---