getPortalOrientations fixed; R_GetPortalOrientations now fully re-done in F#.