Going with typecheck-failure to keep the noun and put the noun on the failure side instead of the checking. Also because typecheck-fail is taken by the user exported name.