fix reference
working on inductive types
improve weird inductive types in 5.6 and exercises, close #615
Merge pull request #628 from mikeshulman/weird-inductive-types

Weird inductive types