Added a new operation in abstract machine example.

Thinking of adding a few words on "ANY" and axiom of choice
Intermidiary commit.

The compiler fails at the very beginning and says I should remove auxiliary files. I will.
No actual modifications, but it now compiles.

The auxiliary file was indeed corrupted.
Added a reference (for citing the source of the example) and a finished new subsection