Converts Java record compact constructor to explicit canonical form.