¿Qué significa que un lenguaje sea fuertemente tipado estáticamente qué impide que, por ejemplo, C sea fuertemente tipado?