models. It's a better semantic and improve performance as well as
readability of the code. All the tests passes (except the remark in the
last commit).

Major fix of type unstabilities which improved performances.
For now on, we observe for pygmalion benchmarks:
+2x speed simulation compared to simulation of models.
100x speed in terms of reading values (no allocations).