Add grammar replacement strategy. Its proofs are not valid yet.
Write program size, small improvements.
Write about program.