Investigate relation to the base package
Currently the standard libraries in this repository are duplicated in the base
package, so it might be worth investigating, whether we could eliminate this redundancy by either
- replacing
curry-libs
entirely withbase
(though I am not entirely sure how well that would play with the KiCS2/PAKCS backends) - adding a submodule dependency in either direction, so that the source code is no longer duplicated