fact: Definition encodable_finType `{X : finType} : encodable X.
imports: Undecidability.L.Tactics(LTactics GenEncode) Undecidability.L(Datatypes.LNat Functions.EqBool) Undecidability.Shared.Libs.PSL.FiniteTypes.FinTypes