Display arrays

[jstolarek]

I want to be able to display contents of the arrays. Roadmap:

• create resugaring monad that contains the store
• use the store when resugarring an array

Do we want to do something similar for references? Such pretty printing will not indicate reference aliasing and might be confusing, thus I don't know if this is a good idea.