A porting of hol_light in fsharp