Improve naming scheme for types that come from the Isabelle formaliza…

…tion (#400)

* clean up naming scheme for types from the Isabelle formalization

* do the same for IO_bio3s

* forgot to save file