Start chapter on implementations in Curry
Add papers to bibliography and rename labels
Outsource implementation in Curry to seperate chapter