Some fixes related to tuples and recursive type inference
Fixed issue with structs in closures
Added pig sample