Text this: The design of a system to support exploratory learning of algebraic generalisation