docs: add documentation for inductive types

[rish987]

I got around to adding some more docs for the functions handling the checking/generation of inductive types. I also took the liberty to rename some variables in a few places to hopefully make things a bit clearer.