working on environment chapter
updated typesetting of reified variables