Propagate '%assert_total' to with blocks

Otherwise they don't reduce properly when typechecking
Fix compilation of unqualified constructor names

Need lookupCtxtExact when we know we are looking up full names, even
if unqualified.
Remove irrelevant comment
Merge branch 'master' of github.com:edwinb/Idris-dev