WordAuto: do not re-define [autorewrite_fast] and [autorewrite_fast_goal]
WordAuto: do not re-define [autorewrite_fast] and [autorewrite_fast_goal]

otherwise importing WordAuto breaks these existing tactics from SepAuto

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl