Fixed signature for partual evaluator and then type errors