Add initial implementation of inductive types and free monads.
Ignore dedukti object files (.dko).