Analysis framework initial version
Improvement to type inference and framework
Various improvements to type inference
Struct in type inference
Support for merging previous lattice
Add dotexpr typeinference
Finish fixpoint for LoopStmt
Add matrixexpr
libfunction std::function
Remove dimvector implementation, use std::vector

with c++11, access to the underlying data is possible with data()
Compile-time function call

Instead of function poiters (Analyzer),
use template resolution for better performances.