Scan implementation

[davidmarttila]

I added some tests adapted from test_while.py, and they pass in isolation -- when running the whole test suite they fail with a bunch of TracerBoolConversionErrors, but that also happens at the current main branch, so I'm not too sure if that can be addressed here.