Add 'immutable?' operation
Setting the recursion limit prevents translation
Add support for box literals
Actually expose 'immutable?'