sbcl-trivialib-type-unify 0.1-1.62492eb Common Lisp type unification

Unifies a parametrized type specifier against an actual type specifier. Importantly, it handles complicated array-subtypes and number-related types correctly.