doc: add notes on semantics
doc: add notes on semantics

This turns out to be a dead end, but is useful since now I know that
the correct path is implementing a combined type inference, overload
resolution, and polyinstantiation pass.  Attempting to separate these
appears futile.

girving/duck,girving/duck