1: closure of add primitive 4 2: struct X 3: struct X 4: struct X: x get projection 42 5: struct CX 6: struct CX 7: union Y 8: union U