polymorphic occurrences and previous / remaining scopes