Int31 decompilation in native compiler was still partial. Now fixed.
Optimizing Int31 support in native compiler, by not tagging
applications of I31 constructor as lazy.