find some typo-bugs revealed by testing metatheoretic properties