FTMZ:
Ik lijk zo een integer (variabele?) te maken met de naam RXLED en een waarde van 17.
Correct
FTMZ:
Hoe weet de Arduino dat het poortje 17 is?
Niet...
FTMZ:
Met "int teller = 0" geef ik aan dat ik een variabele met de naam teller maak met een waarde van 0, toch?
Correct. En meer precies, een variabele van het type int.
FTMZ:
Ook bij "Const int key = 5" geef ik aan dat ik een variabele heb met een vaste waarde van 5.
Correct. Ook al is de term variabele dan een beetje raar. Je hebt nu een constante (van type int) 
FTMZ:
Dit is een poort, dus ook daar weer... Hoe weet Arduino dat dit een poort is?
Weet, niet. Het hangt er puur vanaf waar jij de waarde gebruikt. Wil je 5 als pin (niet poort 
) benaderen kan je functies zoals digitalRead() en digitalWrite() gebruiken met de variabele (of constante).
En RXLED, is dat een led die je zelf aan pin 17 hebt gehangen? Welke Arduino gebruik je? Pin 17 is namelijk niet gebruikelijk op een Uno.
Overigens zijn dingen als labels en "while(1 == 1)" zeer ongebruikelijk. Functies vormen betere alternatieven voor labels (of eigenlijk goto's) en voor het laatste heb je nu eenmaal al de loop()
Ook, bedenk dat "een knop is ingedrukt" niet hetzelfde is als "een knop wordt ingedrukt". Eerste is hele tijdspanne dat de knop ingedrukt is waar het tweede het éénmalige specifieke moment is dat je de knop in drukt.