HOL.Var
mk
dest
name
typeOf
class
HasFree
a
renameAvoiding