Implementation of a Categorical Abstract Machine