Cuadros Analíticos para la Teoría de Tipos Simple y su Fragmento de Primer Orden