Improvement regarding parsing of slices, and addproof syntax

Changed the way addproof works to indented-block style
Allowed a larger range of expression to work with slices (improves on
idris-lang/Idris-dev#524)