As mentioned here, we should make out TxPolicies match the specs and expose/update the corresponding getters on the Transaction trait.
TxPolicies
Transaction