Wie heißen die Funktionen, die zu einem Charakter dessen Kode als Int liefern und zu den Zeichenkodes den  Character? Das, was in Miranda code und decode heißt?