Figure out what to do with IndPrinciples

[clayrat]

See #32

[clayrat]

Ok, my current take is simply to write out all the induction principles by hand there. Then we should find some Idris expert to edit the text and describe how all of that relates to Idris :)