[1/x] feature(frontend): generate synthetic functions with Miden ABI transformation (stdlib, tx_kernel);

[1/x] feature(frontend): generate synthetic functions with Miden ABI transformation (stdlib, tx_kernel); #123