fixed wrong lookup in env. (parameter names and names of enumerated sets and their elements are now considert)
fixed bstate bug. Now a bstate has its dict (map bstate to framestack)