Tkram Typing & Transactions Following