Child application deployment from parent application

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