wekke: voorlopig is het 'trappen' geworden aangezien de andere talen dat toch ook gedaan hebben (ook de talen die een onderscheid maken tussen trappen en ladders)

als iemand ergens nog een 'ladder' vindt, deze alstublieft melden zodat we die ook in 'trappen' kunnen veranderen :)