Fix autorewrite wrong handling of universe-polymorphic rewrite rules. Fixes part of issue #7.