Convert tactics to F#.

Signed-off-by: Eric G Taucher <researcher0x00@gmail.com>