numpy>=1.17.0 scipy>=0.14 filelock etuples logical-unification miniKanren cons typing_extensions