Typed Main

Typed main functions will be able to take I/O Types as arguments.

Programs which operate this way are independent of:

• Network stacks
• Filesystems
• Case sensitivity, Unicode normalization, path separators, the behavior of .., how symlinks work, non-Unicode filenames, filename length limitations, trailing whitespace, ...