A Language Design Analysis of HolyC (das ist die Sprache von TempleOS)