Induction now works on types with parameters
Induction works for all types with eliminators now (some eliminators
still need fixing) including those with indicies.
Merge pull request #767 from ahmadsalim/feature/inductionimprovements

Allows induction on more complicated data types