Improve isomorphic matching; add :positive patterns