Implemented foreach typechecking, finished condassign