fix: patterns impose resource limits

[erights]

For various type-oriented patterns like M.array(), where the pattern itself does not naturally imply a length limit,

• add an optional limits argument to the pattern, where the limits argument is a record of optional named limits
• provide generous default limits that applies if no explicit limits are provided.

The limits are expressed as numbers, not bigints. Unlimited size can thus still be expressed with a limit value of Infinity.

The limits are
* decimalDigitsLimit, for M.bigint, M.nat, and the cardinality of M.bag and M.bagOf
* stringLengthLimit, for M.string
* symbolNameLengthLimit, for M.symbol
* numPropertiesLimit, for M.record and M.recordOf
* propertyNameLengthLimit, for M.record and M.recordOf
* arrayLengthLimit, for M.array and M.arrayOf
* numSetElementsLimit, for M.set and M.setOf
* numUniqueBagElementsLimit:, for M.bag and M.bagOf
* numMapEntriesLimit, for M.map and M.mapOf

See
#5955 (fixes it?)
#5956
#5954
#6098
#6060
#6061
#6062
#5956

[erights]

This is now ready for review!

[dtribble]

LGTM. Several comments about perf improvements and test improvements. I could not spot any issues.

Oh and some questions and suggestions around the initial values.