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)