Inductive Types

TODO