why do all these typing rules have a waluigi hat symbol in them