mbx's version of the subtyping diagram
in sync with current OdinMonkey, in particular:
- unsigned </: extern
- integer % produces type intish
- all function calls required to be coerced
- no more type unknown
- added note about ~~ in unary operators section