induction for n, scalarep families (implicit class RepSection) corrected.