we now support index declarations, and synchronised objecTypedeclaration with interface, both using body and thus being reusable in ts2contracts.