wip: convert expression's Eval to support stacked evaluation
wip: convert procedure framework to handle stacked framework