Toms updates

Adds wc to example problems. Changes simplification to remove paren pair instead of flatten.