Update StructuralTypes.fs