Overlapping and incoherent instances

[Niklas Hambüchen]

On 29/07/14 19:28, Iavor Diatchki wrote:
> I have no strong feelings about what words we use, but I wanted to point
> out that while we are thinking of names, we may want to consider 3 (and
> not just 2).  Currently we have:
>   * OVERLAPPING:   This instances may overlap existing instances
>   * OVERLAPPABLE: This instance may be overlapped by existing instances
>   * OVERLAPS:  This instance is both OVERLAPPING and OVERLAPPABLE

I don't have an opinion about the naming, but would like to mention that
"OVERLAP" and "OVERLAPPABLE" would be in line with "INLINE" and "INLINABLE".