Library for reflecting inductive types in Dedukti