Task: atomic component for non-uni boolean

[stefjoosten]

This is what I saw, when running a prototype on my localhost:

I ran this FROM ampersandtarski/prototype-framework:v1.14 This is the source code:

CONTEXT Switch_demo

REPRESENT Bool TYPE BOOLEAN

RELATION flip[SESSION*Bool]

INTERFACE switch : "_SESSION"[SESSION] BOX
   [ bool : flip ]
ENDCONTEXT

So, we need an atomic component for this use case.