xrchz/linear-unification archive