More notes about transactions, types, etc.