Convert theorems module to F# and format using Fantomas.

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