more bugfixes in evaluator (polymorphic type arguments...)
more bugfixes in evaluator (polymorphic type arguments...)

c-cube/logtk,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/logtk,c-cube/zipperposition