Remove idiomatic F# constructions from core F* code