Nested loops test
Useful typecheck
Bug fix
Demo starting to work