A simple language (improved)