syn: pure values are also expressions