typecheck.c is now responsible for all type checking except for assignment and function argument "..." R=ken OCL=32661 CL=32667
named and unnamed. R=r DELTA=21 (21 added, 0 deleted, 0 changed) OCL=30518 CL=30533