Nuevos tipos y arrays para Z3