(Better error messages for <@wrong>, ?namespace, plus a little error message code cleanup.)