update to new recursive instance search

instances now need 'instance' keyword
Merge branch 'master' into proper-classes
added more missing 'instance' keywords
added instances for Any suc and zero
Eq and Ord for Sigma instead of just non-dependent pairs
missing 'instance' keyword