Add Cond to .ipkg
Update Cond to typed laziness
Remove import of Uninhabited

Uninhabited is now in Prelude
Merge pull request #2 from Melvar/master

Update to current Idris