proper instantiation
tuned
removed debug output
code reorganization
tuned
tuned
add tyenv to focusterm