Add constant folding example for presentation
Add spec for dynamic dependencies