Reland "[turbofan] Reuse forward fixpoint algorithm in Typer by making it a Reducer."

src/compiler/node-properties.h

Index: src/compiler/node-properties.h
diff --git a/src/compiler/node-properties.h b/src/compiler/node-properties.h
index 0f7a16197c36c3136177b7af02b9e1fea6ed363e..025be7857ce658bf9493923c5e85f574dd7a2b4b 100644
--- a/src/compiler/node-properties.h
+++ b/src/compiler/node-properties.h
@@ -43,6 +43,7 @@ class NodeProperties {
   static inline bool IsTyped(Node* node);
   static inline Bounds GetBounds(Node* node);
   static inline void SetBounds(Node* node, Bounds bounds);
+  static inline void RemoveBounds(Node* node);
   static inline bool AllValueInputsAreTyped(Node* node);
 
   static inline int FirstValueIndex(Node* node);