Sintaxis abstracta y constructoras completado