This is not supposed to work (so it fails correctly). You are changing the type of the "Then" argument to your first reference. Given that this is not a type, this should fail.

Agreed that we might get into a weird state here that is hard to understand, but I am curious, why did you click on the > next to Type in the first place? I am not sure what you were trying to achieve.

Would you either be available for a one on one session, or would you do a recording while you think loud, when you do the edits that got you in the weird state?

1. You are right, I may be trying to achieve something for which it should fails. I think we can then closed this task.
2. By the way what I am trying to achieve is: Create a implementation via composition for Boolean Equality
3. arg1 and arg2 are boolean. Following is the pseudo code:

if arg1:
    return arg2
else:
    if arg2:
        return false
    else:
        return true