Merge pull request #399 from LPCIC/drop-precomputed-signature

ci: also test trocq

drop precomputed_signature: quadratic in size

Merge pull request #397 from LPCIC/improve-overload-resolution

changelog

type_checker: use arity of expected type

fix signature

fix printing of predicates

Merge pull request #396 from LPCIC/fix-variadic-api

Apply suggestions from code review

fix ci

disable warning in the parser

Enhance CI workflow with macOS and new OCaml versions

Add --table flag to menhir configuration

FFI: variadic do return extra goals