Interfaces InstanceSpecification, InstanceValue and Slot have all been implemented within the package Abstractions::Instances.