Todo lo que hicimos. Instancia de Functor a Lexeme. Ahora TkTrue y TkFalse son TkBool. Instancias de Show de SymTable, SymInfo, Stack. Instancia de Functor y Foldable a Stack. if.sp es mas complejo. No imprime StNoop. Falta terminar el checkStatement StIf.