Improve type inference in presence of aliasing
Add a developer tutorial

- doctest integration
- integrated in website generation