A microprogrammed interpreter for Concurrent Euclid