Record fields are now properly widened to their value type when viewed as values.