Disallow proving of top-level declarations and other meta-variables, fixes idris-lang/Idris-dev#46
Merge pull request #641 from ahmadsalim/feature/metavarprooffix

Disallow proving of top-level declarations and other meta-variables, fix...