README now contains the update concrete syntax