Add shape invocation semantic validation

[thewillyhuman]

Adds the semantic validation for the shape invocations and its corresponding tests to validate the changes.

[codecov]

Codecov Report

Merging #72 into master will increase coverage by 2.78%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master      #72      +/-   ##
==========================================
+ Coverage   64.40%   67.18%   +2.78%     
==========================================
  Files          12       12              
  Lines         250      256       +6     
  Branches       17       14       -3     
==========================================
+ Hits          161      172      +11     
+ Misses         89       84       -5     

Impacted Files	Coverage Δ
src/compiler/ast/constraints.scala	50.00% <ø> (+12.50%)	⬆️
src/compiler/ast/ast.scala	38.88% <100.00%> (+18.30%)	⬆️
...ompiler/internal/symboltable/SymbolHashTable.scala	83.72% <100.00%> (ø)
...le/policy/PassiveAggressiveSymbolTablePolicy.scala	94.11% <100.00%> (ø)
...c/compiler/semantic/InvocationsCheckerWalker.scala	85.71% <100.00%> (+5.71%)	⬆️
src/compiler/ast/statements.scala	25.00% <0.00%> (-31.25%)	⬇️
src/compiler/syntactic/ShExLSyntacticParser.scala	66.12% <0.00%> (+1.61%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update fb749af...13893d0. Read the comment docs.