- reworked model
- lazy forcing + evaluation