Add loading context information for Name node
Factor out the BasicBlock spy
Implement translation of the while construct
Type annotation for index access of a string