I think our new LOProject in type branch is a bit vague to understand (and therefore causes some trouble with type checking too). By tweaking it a bit, we can make the design much cleaner. Please have a look at what I propose at http://wiki.apache.org/pig/NewLOProject
Pi
