Encoding Structural Equality in CaPriCon

The type of is .