Reformatted binop rules styling for nicer looks