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