Validar tipos de variables, parametros y funciones, y otras cosas