Added explicit access annotations.
Added 'Ghetto' IORefs and MainLoop entry.
Added usage example.