Merge pull request #818 from mwihoti/feature/811-modern-record-extensions
update Internal.Arena with modern record extensions instead of RecordWildCards #811