Remove SfLib.
Update extraction.
Add compiled Haskell.