Fix: Remove relsMentionedIn fSpec for topLevelDcls

Apparently, relsMentionedIn returns V's for FSpec, where it doesn't for Pattern and Process, leading to undefined meaning problems. However, since all relations mentioned need to be declared in the context anyway, we can safely leave it out.