- exported functions etype_of and mk_typ - new function realizes_of
- exported functions etype_of and mk_typ
- new function realizes_of

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