add new Array and Map types

[Geal]

this tries to enforce that all array elements are of the same type, but this is not very strict at the moment, it does not look at lower levels of composite types.

breaking changes:

• in the Datalog language, sets will now be delimited by '{' and '}' instead of '[' and ]'. Arrays are now delimited by '[' and ']'
• parameter names must now start with a letter

Todo:

• array serialization
• array parsing
• existing operations for array: length, equal, not equal, contains, prefix, suffix
• map serialization
• map parsing
• existing operations for map: length, equal, not equal, contains, prefix, suffix
• new operations for array: get (with integer index), closures
• new operations for map: get (with integer or string index), closures

[codspeed-hq]

CodSpeed Performance Report

Merging #219 will not alter performance

_{Comparing map-array (bd0ee02) with v5 (0cc0189)}

Summary

✅ 12 untouched benchmarks

[codecov]

Codecov Report

Attention: Patch coverage is 72.92419% with 75 lines in your changes missing coverage. Please review.

Project coverage is 68.83%. Comparing base (525c278) to head (0399b2f).

❗ Current head 0399b2f differs from pull request most recent head d5003f3

Please upload reports for the commit d5003f3 to get more accurate results.

Files	Patch %	Lines
biscuit-parser/src/builder.rs	41.46%	24 Missing ⚠️
biscuit-auth/src/token/builder.rs	78.88%	19 Missing ⚠️
biscuit-auth/src/datalog/expression.rs	81.33%	14 Missing ⚠️
biscuit-parser/src/parser.rs	55.00%	9 Missing ⚠️
biscuit-auth/src/datalog/mod.rs	0.00%	4 Missing ⚠️
biscuit-auth/src/format/convert.rs	78.94%	4 Missing ⚠️
biscuit-auth/src/datalog/symbol.rs	93.33%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##               v5     #219      +/-   ##
==========================================
+ Coverage   68.57%   68.83%   +0.25%     
==========================================
  Files          25       25              
  Lines        5681     5932     +251     
==========================================
+ Hits         3896     4083     +187     
- Misses       1785     1849      +64     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.