related abstract machine; explain our AM syntax