typo in arithmetic/natp-posp.lisp

Fix typo in comment