no "bad-nesting" defensive detection

worked only in some cases anyway
yet stricter dialyzing - unmatched returns