[exploratory] Module system types.record, types.fix

[exploratory] Module system types.record, types.fix #517818