Added FT

FT is a control-passing style transformed version of FreeT. We don't have Typeable or Data instances yet but other than that I don't think we're missing any.

Closes #28 and #14