use index-to-label rather than constructing strings ourselves (#452)
use index-to-label rather than constructing strings ourselves (#452)

This is important, in case we decide to change the behavior of indexToLabel.

Related to #406
RedPRL/sml-redprl,JonPRL/sml-red-jonprl