First attempt at a ledger with typable transactions