Provide brands for statements.

Introduce a ModuleElement type to provide more clear typesafety.