Added more extension methods (for interface inheritance).
Added support for interface inheritance in contracts.