proofread declarations and bindings