redefine type-free reducibility for System F