An approach to design of mathematical task sequences: Conceptual learning as abstraction