[Refactoring] Initializer::inferType
+Add topt