smoothly handle unit codatatypes in 'primcorec'
smoothly handle unit codatatypes in 'primcorec'

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle