Extend positivity check for mutual data types

Needs a make lib_clean
Find negative occurrences in positivity checker

We were only looking in higher order arguments, not in polymorphic
arguments, so missed a few.

Fixes #474
Merge branch 'master' of github.com:idris-lang/Idris-dev