Lift nearly all top-level type inference restrictions.

pkg/front_end/test/fasta/strong.status

Index: pkg/front_end/test/fasta/strong.status
diff --git a/pkg/front_end/test/fasta/strong.status b/pkg/front_end/test/fasta/strong.status
index 2efb4bf72678755c9db20b8e489c98b70f6d912b..eb7e99f3e946264104f9d41c07ac086b74d01c08 100644
--- a/pkg/front_end/test/fasta/strong.status
+++ b/pkg/front_end/test/fasta/strong.status
@@ -60,14 +60,12 @@ inference/future_then_explicit_future: Fail
 inference/generic_functions_return_typedef: Fail
 inference/generic_methods_infer_js_builtin: Fail
 inference/infer_correctly_on_multiple_variables_declared_together: Fail
-inference/infer_from_complex_expressions_if_outer_most_value_is_precise: Fail
 inference/infer_from_rhs_only_if_it_wont_conflict_with_overridden_fields: Fail
 inference/infer_from_rhs_only_if_it_wont_conflict_with_overridden_fields2: Fail
 inference/infer_local_function_return_type: Fail
 inference/infer_types_on_generic_instantiations_in_library_cycle: Fail
 inference/infer_types_on_loop_indices_for_each_loop: Fail
 inference/infer_types_on_loop_indices_for_loop_with_inference: Fail
-inference/inferred_type_cascade: Fail
 inference/lambda_does_not_have_propagated_type_hint: Fail
 inference/list_literals_can_infer_null_top_level: Fail
 inference/map_literals_can_infer_null_top_level: Fail