Add Args and LiftArgs instances for 5-tuple
Add operator precedence for comparision operators