Created some grammar lemmata, changed gram_valid definition, ...