This is a partial evaluator for Curry implemented in Curry
implemented by Björn Peemöller (CAU Kiel), based on the preceding work of
Elvira Albert, German Vidal (UPV), and Michael Hanus (CAU Kiel).