@(name:String) @(inam:(List String)) @(ityp:(List Litereum.Type)) @(otyp:Litereum.Type) @(main:Litereum.Term) Litereum.Bond