Trivial grammar for impl.