Add strong mode type checking pass.

testcases/strong-mode/call.baseline.txt

Index: testcases/strong-mode/call.baseline.txt
diff --git a/testcases/strong-mode/call.baseline.txt b/testcases/strong-mode/call.baseline.txt
index 5506d0ed6de322ed1ee0e52c8a0f81e2ea19480b..387757ec86fbd0d849de32e3331b60e31896f07f 100644
--- a/testcases/strong-mode/call.baseline.txt
+++ b/testcases/strong-mode/call.baseline.txt
@@ -1,3 +1,8 @@
+// Too few positional arguments (call.dart:30:17)
+// Too few positional arguments (call.dart:31:25)
+// Too few positional arguments (call.dart:35:17)
+// Too few positional arguments (call.dart:36:26)
+// Too few positional arguments (call.dart:37:31)
 library;
 import self as self;
 import "dart:core" as core;