Basic IR tuples; have not included CALL/RET tuples for now