Add `value-stack` tests and modify existing ones
Add examples and update existing ones