[Typing] Rule typing and AST generation are now distincts. Structure name will be generated at the end.
[Type Visitor] Add the unnamed sum and fix the semantics of the inlining.