various things, including a working abbrev-checker
updated abbrev refs