Text this: Diseño, implementación y corrección de GraPiCO: un cálculo visual orientado al objeto y por restricciones compilado a PiCO