An immutable, typed-ish, revamped logical plan for Pig