Evaluator: use tStack(n)L, rename conv. functions
add HashCode to program state, add hash functions