Added handling of free variables (provided they are of sort HOL.type).
Added handling of free variables (provided they are of sort HOL.type).

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