Implemented translation of local fixpoints. Mutual fixpoints are still not properly handled (neither local nor global ones).
Implemented translation of local fixpoints.
Mutual fixpoints are still not properly handled (neither local nor global ones).

maximedenes/native-coq,maximedenes/native-coq,maximedenes/native-coq