<div dir="ltr">There is also a lightweight entry called Ketje that might be good also. A quick overview is below.<br><br><a href="http://boemund.dagstuhl.de/mat//Files/14/14021/14021.VanAsscheGilles.Slides.pdf">http://boemund.dagstuhl.de/mat//Files/14/14021/14021.VanAsscheGilles.Slides.pdf</a><br></div>