Do partial evaluation for lifted value, this folds all known-constant sub-tries and optimizes expressions
See Implementation
Do partial evaluation for lifted value, this folds all known-constant sub-tries and optimizes expressions