Done: better error messages and cycle detection
Add some first features
Add a feature describing scoping