added an example file with lifting of constants with contravariant and co/contravariant types
added an example file with lifting of constants with contravariant and co/contravariant types

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