Fix compatibility with older ghcs
Implement a zipper
Fix a compilation issue related to static linkage.
Fix some compatibility issues