Fix in inference example
Start some more examples inductive for inductive types