1. Namespaced export used in Stratego 2 is broken for lexical sorts 2. Sorts sections are not marked lexical/context-free