Revert "turn canonical structures that don't have any instances into plain records"

This reverts commit 7266d16b
1 job for master
Status Name Job ID Coverage
  Test
passed buildjob #18
coq

00:04:25