Implemented some of the Int module.
Implemented a TopLevel module which is auto-opened to provide certain definitions which need to be defined in the ML top-level.