cuals son los tipos de lenguajes