more proc binary op checks and tests