Proof reading with PMS, to type decl. in kite-design