np Finish migration to new GHC,BNFC with nix integration