Type checker checks arg counts