>Like java's (and others?) feature that allows "add (char a, char b)"
>to be different code from "add (short a, short b)" ?

This sounds a bit like the original 8086 assembler that Intel produced. The
manual published the list of macros used to assemble the mnemonics into machine
code. The mnemonics were set up so they could distinguish the type of arguments
used and assemble the correct code, despite many mnemonics having several
different widths of arguments.

--
http://www.piclist.com hint: The PICList is archived three different
ways.  See http://www.piclist.com/#archives for details.