Some work to generate symbols for [] type. SQUASH THIS