Update for generized include: we now have solver, which is an abstract
concept that solves many problems such as includes, degenerated lists
etc.
Some problems remains with appropriate typing : abstract types tend to
get lost, most notably the Ret type.
In progress!!!
Warning, unstable