Added Witness effect (associates types with unique identifiers)
Encapsulation has been achieved!