Fix translation rules for struct types
Update translation rule specifications
Add example L2 source file for the 'transaction' example