[#2706] Generate "full" constructors in records, allowing to construct a
record with all values set