Tighten types in the expression AST.