k3-sle: Remove validation from the inferrer
k3-sle: Defer AST validation & completion to typing helper
k3-sle: Externalize AST completion
k3-sle: Avoid creating several time the same feature when weaving aspect model