Release 2.2

• Subsumption clauses, e.g., A(x1) <= A(x2) :- x1 <= x2 (@julienhenry, @b-scholz)
• IR and build improvements (@OlivierHamel, @langston-barrett, @quentin, @b-scholz, @aeflores, @cmuellner, @broffra, @rahlk, @yihozhang, @trofi)
• Refactoring of type analysis (@tytus-metrycki)
• Improved packaging (@XiaowenHu96, @quentin, @uxhg, @cwarden)
• Improved loading of DLLs (@quentin)
• Type annotation printer (@hide-kawabata)
• Performance improvements for eqrel (@langston-barrett, @kevzhumba)