Reworked delta (for InstanceInfo)
Use interface TypeVariable instead of proprietary Impl