A pedagogy for mathematical microworlds