Filter possible proper names before adding variants in make-proper-names.

Otherwise okay will end up as a proper name as it is a variant of OK.

Closes #79.