modify examples to conform to new type declaration syntax