Modules

Syntactic sugar for lexical state constants