added simplification rules for FT and IFT

ft and ift are "reference" implementations