define partial order used for method dispatch

[stevengj]

Currently, this doesn't seem to be documented, and the thesis would be a good first place to put a very technical, precise definition of Julia's dispatch rules and a rationale thereof.