eliminate :> in records and classes