record4s Extensible Records for Scala 3, and Domain Modelling with Structural Types