Connecting legibility to theory building in programming