Update Types.fs