Add a `Relational Scheme` command for deriving relators from inductive type definitions

[jeremie-koenig]

One of the thing an ML plugin could do is introduce a new flavor of Scheme command to automatically derive the relator associated with an inductive type with type parameters, and declare the corresponding relational properties for its constructors.