New: add no-undefined rule (fixes #1020)