Finished first write of TypeCheck