Add induction hypotheses to the generated principles for inductive types.#2

DIJamner wants to merge 2 commits into

triviajon:maintriviajon/mengine:mainfrom

DIJamner:induction-principle-with-ihDIJamner/mengine:induction-principle-with-ihCopy head branch name to clipboard