Never suppress the typing constraint of bound variables whose name was
reserved with Implicit Type.