Capability System: capability-generator-main.cpp runs should support inclusiveJoin and union+error separately about slang

[ArielG-NV]

How abstract atoms work:

• abstract: an abstract capability does not introduce an actual atom. Primarily used to
  make disjunctions using the following rules:
  1. Each type of abstract atom defines a "keyhole". target and stage are distinct "keyholes".
  2. Any atom immediately derived off of an abstract atom is a "keyAtom".
  3. Every conjunction may only populate each "keyhole" once, else the set is incompatible.
     • If joining ('+') incompatible sets, an invalid capability is made.
     • If Inclusive joining ('|') incompatible sets, a disjunction is made.
  4. ex: hlsl + glsl both populate the same "keyhole" of target, this is incompatible.
  5. ex: hlsl + _sm_6_0 both populate same keyholes of hlsl and hlsl, this is compatible.
  6. ex: hlsl | glsl creates a disjunction of 2 sets: hlsl and glsl. This is due to the
     2 sets being incompatible.
  7. Having a not populated "keyhole" means your set is compatible with any "keyAtom" of
     distinct "keyhole".
  8. ex: vertex + glsl works because 'vertex' has a unpopulated target "keyhole", and
     therefore is compatible with all target "keyAtoms"

Changes:

1. We will allow an inclusive join
2. behavior of union will be modified

operators:
+: 'join', precedence = 0

• LS and RS add all elements together. Incompatible sets being joined will result with a empty set. If LS and RS are fully incompatible, error.
• glsl + hlsl => glsl | hlsl
• glsl + EXT => glsl + EXT
• glsl + hlsl + glsl => glsl
• _sm_6_5 + fragment + vertex => err
  • notice: fragment + vertex => incompatible, try splitting this into alias tmp = fragment | vertex _sm_6_5+tmp
• GL_1 + GL_2 + fragment | GL_1 + GL_3 + fragment; => err
  • error since you are union'ing disjoint sets
• GL_1 + GL_2 + fragment | GL_1 + fragment; => GL_1 + GL_2 + fragment
  • notice: set 1 is not disjoint from set2, set1 is a super set. This is allowed and compacted into 1 set due to how JOIN works.

|: 'inclusive join', precedence = 1

• This is a inclusive join of sets. Left operand will join with all conjunction sets on the right operand through distribution. Incompatible sets will be added as is.
• glsl + EXT1 | glsl + EXT2 => glsl + EXT1 + EXT2
• _sm_4_1 |& _sm_4_0 + compute_fragment => _sm_4_1 + fragment | _sm_4_1 + compute
  • notice: set{_sm_4_1} distributes into set{_sm_4_0 + compute_fragment}.
• SPV_EXT_1 | glsl | SPV_EXT2 | SPV_EXT3 => SPV_EXT_1 + SPV_EXT2 + SPV_EXT3 | glsl.

note: precedence follows arithmetic evaluation rules 'left to right'.