We need a type inference library

[mightyiam]

Rule implementations should not be inferring types of expressions explicitly. Instead, rules should rely on a general type inference API for the AST. The current AST is rnix, the only significant Rust Nix AST crate as far as I can tell.