Ceylondoc #970: document type parameter constraints