[fsharp] Complete misc features