Contract.fromArc/extra, SubProgram.leader fields f-me/carma#1888 f-me/carma#1302

Export VinFormat.arc ident