An implementation of the Core language