
X ~=< Y

   Constrain X not to be an instance of Y

Type
   library(notinstance)

Description
We assume:
    
	 no shared variables between X and Y
	 X may get more instantiated, but not Y
    
    Failure is detected eagerly. Success may be detected late.


