Fix data con type result checking bug
Merge pull request #6 from nomeata/2014

Fix data con type result checking bug
catching soln up with bugfix
Merge branch '2014' of github.com:sweirich/pi-forall into 2014