test that every well-typed term evaluates to a well-typed term