Note that the instance resolution idea was inspired by Adam Bergmark
Add Default type families project to TODO.md