The Pandora Abstract Machine: An Extension of JAM