eliminate :> in records and classes
Merge pull request #558 from mikeshulman/colon-gt

eliminate :> in records and classes