Enhanced Type Promotion

[munificent]

In order to get type promotion handling is! (#80), we could do @bwilkerson's "Enhanced Type Promotion" proposal. I had a PR out to move that doc over to this repo:

#79

[leafpetersen]

I believe this is implemented now.