Merge pull request #35 from typelist/master

Reintroduce CheckedAddressDiff now that multidispatch works