Lexicon generation, esp. for join closure spaces
Improved formatting and addition of powerset