Initial version. Includes abstract machine with all its operations, test
cases and example programs.
The 'Instructions' class is missing, due to
pending publication permission.