@andreubotella brought this up in #238 and it seems worth addressing, but not as part of that PR. (In particular I don't think it needs to impact a lot of the naming of terms, we just need to add instance in a few places.)