Cleanups:
* Make STInteger constructor explicit
* Minor issues identified during code review