What do you mean low level?

Do you think the Linux kernel could be written in a language without types enforced?