Great! In the latest beaker you can get most of those fields from the Precompile object itself:
note this example does not call an ABI method but returns a dict[TxnField, Expr] you can combine with other fields
dict[TxnField, Expr]