F One Typing and Clearing Transactions