Developing theory for design of mathematical task sequences:: Conceptual learning as abstraction