b2llvm formalisation level 3: added generation of typing annotations.
Refactorings.