source tetra: auto-export main fn from main module if it isn't already
code: rename IO.Console -> System.IO.Console