added typeCheck() call to P5.java
implemented typeChecks down to WriteStmtNode, added stub methods along the way
added test for WRITE_FN in typeErrors.csx, error correctly caught