Recursive records must now be declared as inductive or coinductive.