Explicit environments up and running.
The [env.theorem] paradigm is now implemented.
Merge branch 'env'