Embedded contract languages