Value-stack implementation

Features implemented:
- value-stack
- type-safe DSL