Type-safe conditions for joins.
persistence: Support for arbitrary levels of self-joins.