CoCaml v.2

To compile
----------
make

To clean up the compiled files
------------------------------
make clean

To run the interactive interpreter
----------------------------------
./cocaml.exe

Examples
--------
Examples can be found in the Examples/ subdirectory.
An example can be run using the #load directive in the interactive
interpreter, for example:
#load "Examples/padic.txt";;
Alternatively, an example can be copied and pasted in the interactive
interpreter. In this case, as in OCaml, a double semi-column needs to
be added to launch the interpretation.

Structure of the code
---------------------
The main interpreter is in the root directory.
Types/ contains the type inference system.
Parser/ contains the lexer and the parser.
Corec/ contains the definition of corecursive equality and the different solvers.