make F# mode derive from prog-mode
improve tests