Prototype typer: separate "deduce and clean" as a new heuristic
Only the last commit is in this branch. It breaks the tests. Let's try it later when the missing features are implemented.
Only the last commit is in this branch. It breaks the tests. Let's try it later when the missing features are implemented.