Bug fixes Make field types invariant to guarantee soundness (#2539) (ee6a165) Other Ensure function locals are not in closures (#2533) (a2c1c97) Implement non-/nullable type refs in type conversion (#2535) (7bc3b57)