SII: Structural Induction Instantiator over any strictly-positive algebraic data type.