Merge pull request #39 from DanGrayson/master

"induction" instead of "destruct"
update submodule coq version

I think it got bumped back somehow.  The differences are minor, covering
one more case in the type-in-type patch.