Add optimised fmap const
Remove Lazy-Smallcheck stuff