Started to work on partial evaluator