Delete binop.h