Add cf/81*.hs. Update .gitignore