Agregué sintaxis GADTs. Ahora Program = Checker [Statement]. Funciona errores estaticos, estoy preparandolo para los otros.