Add a test for partial evaluation

This is mostly in case I actually implement better functions of arity
>1, but forget to add this test.

README.md

@@ -2,3 +2,17 @@
 
 MPRI Functional Programming project, whose subject can be found
 [here](https://gitlab.inria.fr/fpottier/mpri-2.4-public/blob/master/project/sujet.pdf)
+
+## Features checklist
+
+* Performs CPS
+* Performs defunctionalization
+* Pretty-prints nicely intermediary languages
+* Removes var-var bindings
+
+## Wish list
+
+* Perform an intelligent CPS transform (many continuations aren't actually even
+  remotely needed at the moment)
+* Handle correctly functions of arity > 1 (WARNING, cannot partially evaluate a
+  function in C)

src/tests/partial_eval.exp

@@ -0,0 +1,2 @@
+42
+42

src/tests/partial_eval.lambda

@@ -0,0 +1,5 @@
+let sum = fun x -> fun y -> fun z -> x + y + z in
+let plus2 = sum 1 1 in
+
+let _ = print (sum 30 10 2) in
+print (plus2 40)