Think HOL version of find waves fast original, inspector, and executor is done.

Assumed that TL returns the tail list in HOL4.
Also assumed that ++ is the list concatenation operator in HOL4.
See code/find_waves_fast_in_HOL4_grammar.txt for the HOL4 code for this.