A new implementation of the Arc language