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

...es idris-lang/Idris-dev#46