Proletool grammar